翻訳と辞書 Words near each other ・ Mosibudi Mangena ・ Mosida, Utah ・ Mosie Burton ・ Moshe Szyf ・ Moshe Talmon ・ Moshe Tamir ・ Moshe Taube ・ Moshe Tavor ・ Moshe Teitelbaum ・ Moshe Teitelbaum (Satmar) ・ Moshe Teitelbaum (Ujhel) ・ Moshe Tery ・ Moshe Theumim ・ Moshe Tzadok ・ Moshe Unna ・ Moshe Vardi ・ Moshe Varon ・ Moshe Vilenski ・ Moshe Waldoks ・ Moshe Wallach ・ Moshe Weinberg ・ Moshe Weinberger ・ Moshe Weinfeld ・ Moshe Wertman ・ Moshe Wolman ・ Moshe Ya'alon ・ Moshe Ya'ish al-Nahari ・ Moshe Yanai ・ Moshe Yechiel Epstein ・ Moshe Yehuda Blau Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Moshe Vardi ： ウィキペディア英語版 Moshe Vardi Moshe Ya'akov Vardi ((ヘブライ語:משה יעקב ורדי)) is an Israeli computer scientist. He is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor,〔 〕 and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He dabbles in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. Moshe Y. Vardi is the author of over 400 technical papers as well as the editor of several collections. He has authored the books ''Reasoning About Knowledge'' with Ronald Fagin, Joseph Halpern, and Yoram Moses, and ''Finite Model Theory and Its Applications'' with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is also the editor-in-chief of Communications of the ACM. == Background == He chaired the Computer Science Department at Rice University from January 1994 until June 2002. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. Dr Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981.〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Moshe Vardi」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.